Asynchronous Group Membership with Oracles
نویسندگان
چکیده
We present a model of distributed systems intended for the description of group membership services. The model incorporates a generalization of failure detectors 9], which we call oracles. Oracles provide information about processes that may be included into or excluded from the group. Based on this model, we provide a speciication of a group membership service in asynchronous systems augmented with oracles. We also present an algorithm that implements such a service provided that the information supplied by the oracles is of suucient quality.
منابع مشابه
Synthesis of Interface Specifications for Android Classes
Event-driven programming frameworks interact with client code using callins (framework methods that the client invokes) and callbacks (client methods that the framework invokes). The protocols for interacting with such frameworks can often be described by finite-state machines we dub asynchronous typestates. Asynchronous typestates are akin to classical typestates, with the key difference that ...
متن کاملA Group Membership Algorithm with a Practical Specification
ÐThis paper presents a solvable specification and gives an algorithm for the Group Membership Problem in asynchronous systems with crash failures. Our specification requires processes to maintain a consistent history in their sequences of views. This allows processes to order failures and recoveries in time and simplifies the programming of high level applications. Previous work has proven that...
متن کاملModified group non-membership is in AWPP
François Le Gall Department of Computer Science, The University of Tokyo, 7-3-1 Hongo, Bunkyoku, Tokyo, 113-8656, Japan Abstract It is known that the group non-membership problem is in QMA relative to any group oracle and in SPP∩BQP relative to group oracles for solvable groups. We consider a modified version of the group non-membership problem where the order of the group is also given as an a...
متن کاملThe Timewheel Group Membership Protocol
We describe a group membership protocol, called the timewheel group membership protocol, for a timed asynchronous distributed system. This protocol is a part of the timewheel group communication service that supports multiple group communication semantics simultaneously. The timewheel group membership protocol is unique in several respects. First, it has been designed for a timed asynchronous d...
متن کاملAgreeing on Processor Group Membership in Timed Asynchronous Distributed Systems
We introduce the timed asynchronous distributed system model to describe existing asynchronous distributed systems subject to unbounded processing and communication delays, failures and recoveries. We then describe ve increasingly strong speci cations for processor-group membership services in timed asynchronous systems subject to partitioning. We also propose ve distributed protocols that impl...
متن کامل